____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
Nullteiler
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
top
In der abstrakten Algebra ist ein Nullteiler eines Ringes R {\displaystyle R} ein Element a {\displaystyle a} , für das es ein vom Nullelement 0 {\displaystyle 0} verschiedenes Element b {\displaystyle b} gibt, so dass a b = 0 {\displaystyle ab=0} . Dieses letztere Produkt wird gelegentlich als Nullprodukt bezeichnet.
Das Nullelement 0 {\displaystyle 0} ist als neutrales Element der Addition gleichzeitig absorbierendes Element der Multiplikation. Deshalb ist es selbst ein Nullteiler, ein trivialer Nullteiler. Ferner wird ein Nullprodukt, das einen Faktor 0 {\displaystyle 0} enthält, trivialerweise = 0 {\displaystyle =0} , weshalb Produkte mit einem bekannten Faktor 0 {\displaystyle 0} zur Definition des Begriffs Nullteiler nicht herangezogen werden.
Contents
• Beispiel
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
Definition
• Linksnullteiler: Es gibt ein Element b ∈ ∈ R ∖ ∖ { 0 } {\displaystyle b\in R\setminus \{0\}} , so dass a b = 0 {\displaystyle ab=0} .
• Rechtsnullteiler: Es gibt ein Element b ∈ ∈ R ∖ ∖ { 0 } {\displaystyle b\in R\setminus \{0\}} , so dass b a = 0 {\displaystyle ba=0} .
• (zweiseitiger) Nullteiler: a {\displaystyle a} ist sowohl Links- als auch Rechtsnullteiler.
• Linksnichtnullteiler: a {\displaystyle a} ist kein Linksnullteiler.
• Rechtsnichtnullteiler: a {\displaystyle a} ist kein Rechtsnullteiler.
• (zweiseitiger) Nichtnullteiler: a {\displaystyle a} ist weder Links- noch Rechtsnullteiler, oft auch reguläres Element genannt.
In nichtkommutativen Ringen müssen Linksnullteiler keine Rechtsnullteiler sein und umgekehrt, bei kommutativen Ringen hingegen fallen die zwei mal drei Begriffe schlicht zu Nullteiler bzw. Nichtnullteiler zusammen.
Man nennt von 0 {\displaystyle 0} verschiedene Links-, Rechts- oder zweiseitige Nullteiler echt (dann sind beide Faktoren ≠ ≠ 0 {\displaystyle \neq 0} ). Ein Ring ohne echte Links- und ohne echte Rechtsnullteiler heißt nullteilerfrei.
Ein nullteilerfreier, kommutativer Ring mit Einselement 1 ≠ ≠ 0 {\displaystyle 1\neq 0} heißt Integritätsring.
Satz vom Nullprodukt
Für nullteilerfreie Ringe R {\displaystyle R} gilt per Definition:
Ist a b = 0 {\displaystyle ab=0} für zwei Elemente a , b ∈ ∈ R {\displaystyle a,b\in R} , dann ist a = 0 {\displaystyle a=0} oder b = 0. {\displaystyle b=0.}
Diese Aussage wird auch, vor allem in der Schulmathematik, als Satz vom Nullprodukt bezeichnet.cite-ref-4[4] Der Satz vom Nullprodukt gilt insbesondere im Bereich der reellen Zahlen und kann dort manchmal vorteilhaft benutzt werden, um Gleichungen aufzulösen.
Beispiel
Gesucht sind die reellen Zahlen, welche die Gleichung 2 x 2 − − 6 x = 0 {\displaystyle 2x^{2}-6x=0} erfüllen. Durch Ausklammern erhält man die äquivalente Gleichung 2 x ( x − − 3 ) = 0 {\displaystyle 2x(x-3)=0} . Mit dem Satz vom Nullprodukt folgt nun 2 x = 0 {\displaystyle 2x=0} oder x − − 3 = 0 {\displaystyle x-3=0} . Also hat die Gleichung die beiden Lösungen x 1 = 0 {\displaystyle x_{1}=0} und x 2 = 3 {\displaystyle x_{2}=3} .
Beispiele
• Der Ring Z {\displaystyle \mathbb {Z} } der ganzen Zahlen ist nullteilerfrei,cite-ref-1-5-0[5] der Ring Z 2 {\displaystyle \mathbb {Z} ^{2}} (mit komponentenweiser Addition und Multiplikation) enthält zum Beispiel die Nullteiler ( 0 , 1 ) {\displaystyle (0,1)} und ( 1 , 0 ) {\displaystyle (1,0)} , denn ( 0 , 1 ) ⋅ ⋅ ( 1 , 0 ) = ( 0 , 0 ) {\displaystyle (0,1)\cdot (1,0)=(0,0)} und ( 1 , 0 ) ⋅ ⋅ ( 0 , 1 ) = ( 0 , 0 ) {\displaystyle (1,0)\cdot (0,1)=(0,0)} .
• Jeder Körper ist nullteilerfrei, denn jedes von 0 {\displaystyle 0} verschiedene Element hat ein multiplikatives Inverses.
• Der Restklassenring Z / 6 Z {\displaystyle \mathbb {Z} /6\mathbb {Z} } hat die Nullteiler 2, 3 und 4, denn es ist 2 ⋅ ⋅ 3 ≡ ≡ 4 ⋅ ⋅ 3 ≡ ≡ 0 mod 6 {\displaystyle 2\cdot 3\equiv 4\cdot 3\equiv 0\mod 6} .
• Der Polynomring K [ x ] {\displaystyle K[x]} über einem beliebigen Körper K {\displaystyle K} ist nullteilerfrei.cite-ref-6[6]
• Der Ring der reellen 2×2-Matrizen enthält beispielsweise die Nullteiler
( 1 1 2 2 ) und ( 1 1 − − 1 − − 1 ) {\displaystyle {\begin{pmatrix}1&1\\2&2\end{pmatrix}}\quad {\text{und}}\quad {\begin{pmatrix}1&1\\-1&-1\end{pmatrix}}}
denn ( 1 1 2 2 ) ⋅ ⋅ ( 1 1 − − 1 − − 1 ) = ( 0 0 0 0 ) . {\displaystyle {\begin{pmatrix}1&1\\2&2\end{pmatrix}}\cdot {\begin{pmatrix}1&1\\-1&-1\end{pmatrix}}={\begin{pmatrix}0&0\\0&0\end{pmatrix}}.}
• Allgemein sind in einem Matrizenring über einem Körper oder Integritätsring genau die Matrizen Nullteiler, deren Determinante 0 {\displaystyle 0} ist. Hier gibt es trotz fehlender Kommutativität keinen Unterschied zwischen Links- und Rechtsnullteilern.cite-ref-0-3-1[3]
Eigenschaften
• In einem Ring mit Einselement sind echte Nullteiler (linke oder rechte) nicht invertierbar, d. h. keine Einheiten. Sei nämlich a ≠ ≠ 0 {\displaystyle a\neq 0} bspw. ein linker Nullteiler, es gibt also ein b ≠ ≠ 0 {\displaystyle b\neq 0} mit a b = 0 {\displaystyle ab=0} . Angenommen nun, a {\displaystyle a} wäre invertierbar, es gäbe also ein c {\displaystyle c} mit c a = 1 {\displaystyle ca=1} , dann ergäbe sich der Widerspruch
b = ( c a ) b = c ( a b ) = c 0 = 0 {\displaystyle b=(ca)b=c(ab)=c\,0=0} .
Im Fall eines Rechtsnullteilers sind die Terme zu spiegeln.
In einem nichtkommutativen Ring mit Einselement gilt: Ein Linksnullteiler hat kein Linksinverses, jedoch kann ein Linksnullteiler ein Rechtsinverses haben; analog für Rechtsnullteiler. Ein beidseitiger Nullteiler hat demnach kein Inverses.
• Ist a {\displaystyle a} ein Linksnullteiler, dann ist für jedes b {\displaystyle b} das Produkt b a {\displaystyle ba} ebenfalls ein Linksnullteiler (oder gleich null). Das Produkt a b {\displaystyle ab} muss hingegen kein Links- oder Rechtsnullteiler sein (siehe dazu das Beispiel des Matrixrings R {\displaystyle R} im Artikel Einheit (Mathematik), dessen Elemente A {\displaystyle A} und B {\displaystyle B} einseitige Nullteiler sind, die jeweils einseitige Inverse voneinander sind, da A B = E {\displaystyle AB=E} die Einheitsmatrix ist).
Siehe auch
Einzelnachweise
cite-note-11. ↑ B. L. van der Waerden: Algebra I. 8. Auflage. Springer, Berlin New York 1971, ISBN 3-540-03561-3, S. 36.
cite-note-22. ↑ Gerd Fischer: Lehrbuch der Algebra. 4. Auflage. Springer Spektrum, Wiesbaden 2017, ISBN 978-3-658-19217-4, S. 172.
cite-note-0-33. ↑ Jens Carsten Jantzen, Joachim Schwermer: Algebra. 2. Auflage. Springer Spektrum, Berlin, Heidelberg 2014, ISBN 978-3-642-40532-7, S. 85.
cite-note-44. ↑ Bärbel Barzel, Matthias Glade, Marcel Klinger: Algebra und Funktionen: Fachlich und fachdidaktisch. 1. Auflage. Springer, Berlin, Heidelberg 2021, ISBN 978-3-662-61392-4, S. 35.
cite-note-1-55. ↑ Christian Karpfinger: Algebra: Gruppen – Ringe – Körper. 6. Auflage. Springer, Berlin, Heidelberg 2024, ISBN 978-3-662-68655-3, S. 195.
cite-note-66. ↑ Gerd Fischer, Boris Springborn: Lineare Algebra: Eine Einführung für Studienanfänger. 19. Auflage. Springer, Berlin, Heidelberg 2020, ISBN 978-3-662-61644-4, S. 77.
cite-note-77. ↑ Kurt Meyberg: Algebra. Band 1. Hanser, München u. a. 1980, ISBN 3-446-13079-9, Lemma 3.2.15